Results for 'M. Jimena Sáenz'

966 found
Order:
  1.  24
    Nuevos rumbos en Derecho y Literatura: post-crítica, el giro hacia la historia y extensiones del texto nacional.María Jimena Sáenz - 2018 - Isonomía. Revista de Teoría y Filosofía Del Derecho 49:143-160.
    Elizabeth Anker y Bernardette Meyler, profesoras de literatura y de derecho respectivamente, involucradas ambas en los últimos años con el movimiento “derecho y literatura”, editan en 2017 New Directions in Law and Literature.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Desarmando la autonomía individual liberal.M. Jimena Sáenz - 2021 - In Claudio Eduardo Martyniuk, Oriana Seccia & Julián Sauquillo (eds.), Perfiles epistemológicos de la crítica: entre la negatividad y la normatividad. [Adrogué?, Argentina]: La Cebra.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  19
    La reconsideración de la ira como emoción política. Sobre Anger and Forgiveness de Martha Nussbaum.María Jimena Sáenz - 2017 - Dianoia 62 (79):217-226.
    Resumen: Esta nota crítica analiza la perspectiva que Martha Nussbaum presenta sobre la emoción de la ira en su último libro Anger and Forgiveness. Resentment, Generosity, Justice. Para ello sitúo esta obra en el contexto del proyecto filosófico de la autora y señalo algunos cambios y continuidades en su análisis de la ira; después reviso a la luz de este nuevo libro algunas de las críticas que, centradas en la reivindicación de la ira, ha recibido su propuesta de una cultura (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  40
    Imaginación carnal en M. Merleau-Ponty.Mª Carmen López Saenz - 2003 - Revista de Filosofía (Madrid) 28 (1):157-169.
    It is the contention of this paper that the Merleau-pontynian primacy of perception is compatible with the importance of the imagination and other dimensions of embodied existence. In spite of the fact that these dimensions have important differences, they spring from the same source: the lived body and its operative intentionality. I analyze their implications in the Merleaupontinian conception of the Flesh in order to apply his Phenomenology of the imagination to undertand the current iconic turn.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  5.  16
    M. Merleau-Ponty y H. Arendt: pensando en la historia.Mª Carmen López Sáenz - 2018 - Pensamiento. Revista de Investigación E Información Filosófica 74 (280):433-456.
    En este trabajo pretendemos comparar y contrastar las concepciones explícitas e implícitas de la historicidad de Merleau-Ponty y Arendt. Comenzaremos trazando su filiación fenomenológica, que tiene como hilo conductor su común búsqueda del sentido de la experiencia incluso en el sinsentido, abriéndose a él desde sus situaciones y compromisos, adentrándose con el pensamiento en la fragilidad y en la contingencia que jamás excluyeron del filosofar. Mostraremos que el desarrollo merleau-pontiano de la fenomenología genética, particularmente su interpretación del concepto husserliano de (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  32
    Time and subjectivity in M. Merleau-Ponty.Mª Carmen López Sáenz - 1989 - Enrahonar: Quaderns de Filosofía 15:117.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Global effects of feature-based attention in human visual cortex.M. Saenz, G. T. Buracas & G. M. Boynton - 2002 - Nature Neuroscience 5 (7):631-632.
  8. Naturaleza y carne del mundo. Aportaciones de Merleau—Ponty a la ecofenomenología.En Mª C. López Sáenz - 2006 - Ludus Vitalis 14 (26):171-186.
    No categories
     
    Export citation  
     
    Bookmark  
  9.  99
    De Eros y Civilización (Marcuse) a la Agonía de Eros (Byung-Chul Han) en el siglo XXI.López Sáenz M. Carmen - 2024 - Las Torres de Lucca: Revista Internacional de Filosofía Política 13 (2):199-209.
    El artículo comienza exponiendo a grandes rasgos la interpretación freudiana del malestar que conlleva la civilización para, seguidamente, describir con mayor detalle la corrección de Herbert Marcuse a la misma, ayudándose del análisis histórico-social de los principios psicoanalíticos y de las implicaciones políticas de la metapsicología. Analiza principalmente Eros y civilización, pero también las obras posteriores de este filósofo, en las que matiza las conclusiones y alternativas que expuso en su libro de 1955. El artículo descubre posteriormente interesantes similitudes con (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  21
    Filosofía hermenéutica deconstrucción.Mª Carmen López Saenz - 1997 - Revista de Filosofía (Madrid) 18 (1):57.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  19
    La expresión creadora del sentido de la experiencia.M. Carmen López Sáenz - 2015 - Co-herencia 12 (23).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  20
    Fenomenología y marxismo. El compromiso político de Merleau-Ponty.Mª Carmen López Sáenz - 2010 - Daimon: Revista Internacional de Filosofía 51:103-121.
    Este trabajo analiza cómo Merleau-Ponty emplea la fenomenología y el marxismo para comprender la evolución de su situación histórica. La autora distingue una primera fase, marcada por la experiencia vivida de la guerra y la esperanza marxista, de otra que comienza en 1950, se desencanta del comunismo y aboga por una izquierda no comunista o un nuevo liberalismo. Afirma que el filósofo no experimenta una conversión, ya que continúa criticando el sistema soviético, tanto como las insuficiencias de la democracia occidental. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  32
    Metacognition in the classroom: The association between students’ exam predictions and their desired grades.Gabriel D. Saenz, Lisa Geraci, Tyler M. Miller & Robert Tirso - 2017 - Consciousness and Cognition 51:125-139.
  14.  62
    Aproximación fenomenológica a la razón mediadora de Zambrano. Intuición y creación.Mª Carmen López Saénz - 2013 - Revista de Filosofía (Madrid) 38 (2):35-59.
    Este artículo estudia la razón de Zambrano desde sus albores como razón mediadora. Su rechazo del sistema va unido a su comienzo en la intuición y a su decurso temporal, que analizamos en relación con Bergson y Husserl. La razón poética va más allá de ese núcleo intuitivo para revelar re-flexivamente incluso lo invisible. Su inmersión en las profundidades, en la pasividad actuante, en las entrañas, en la multiplicidad de los tiempos es paralela a la fenomenología de la génesis merleau-pontiana, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Estética y liberación en H. Macuse, en el centenario de su nacimiento.Mª Carmen López Sáenz - 1999 - Contrastes: Revista Internacional de Filosofía 4:201-211.
    No categories
     
    Export citation  
     
    Bookmark  
  16.  22
    Merleau-Ponty: imbricación en el mundo con los otros.Mª Carmen López Sáenz - 2010 - Daimon: Revista Internacional de Filosofía (44):173-184.
    La fenomenología de Merleau-Ponty disuelve el problema del otro y se concentra en describir la coexistencia fáctica que deriva de la intersubjetividad. Ésta es primeramente, intercorporeidad en el mundo, institución de sentido y comunicación. La influencia de Ideen II de Husserl es crucial para el desarrollo de estos conceptos. En este artículo, estudiamos la ampliación de los mismos en la ontología merleau-pontiana de la carne y su reversibilidad. El esclarecimiento del verdadero sentido de ésta nos permitirá contestar a algunas de (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  21
    Prior olmos, A. la libertad en el pensamiento de Marx.Mª Carmen López Sáenz - 1991 - Enrahonar: Quaderns de Filosofía 17:79-80.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  31
    VÁZQUEZ, J. Lenguaje, verdad y mundo. Modelo fenomenológico de análisis semántico.Mª Carmen López Sáenz - 1988 - Enrahonar: Quaderns de Filosofía 14:135-136.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  12
    Diálogo intercultural ¿Una utopía del siglo XXI?Mª Carmen López Sáenz - 2015 - Pensamiento. Revista de Investigación E Información Filosófica 71 (265):73.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  14
    El Quijote como ejemplo de la articulación de las realidades múltiples.Mª Carmen López Sáenz - 2016 - Contrastes: Revista Internacional de Filosofía 11.
    ResumenLa autora introduce al lector en la sociofenomenología de la vida cotidiana de A. Schütz desde una lectura hermenéutica de “El Quijote”. Se detiene en el análisis schütziano de las estructuras de relevancias presentes en el universo quijotesco, ilustrando con citas de la obra de Cervantes y comentarios de las mismas las diversas construcciones sociales de los mundos de la vida habitados por los diferentes personajes, principalmente por Don Quijote y Sancho. Las articulaciones de estas realidades múltiples van aclarando el (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  35
    Colonialist Pasts and Afrosurrealist Futures: Decolonizing Race and Doctorhood in Doctor Who.Saljooq M. Asif & Cindy Saenz - 2019 - Journal of Medical Humanities 40 (3):315-328.
    Originally premiering in 1963, the BBC television series Doctor Who has long been criticized for essentializing colonial scenarios and failing to address issues of race and post-colonial realities. As a white male with the privilege to explore time and space, the titular Doctor stands in contrast to his human companion Martha Jones, a Black woman who represents the first and only main character in the show to be a medical professional of color. The relationship between the Doctor and Martha inherently (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  8
    El cuerpo fenoménico no nace; se llega a ser cuerpo-sujeto. Interpretando El segundo sexo.Mª Carmen López Sáenz - 2021 - Investigaciones Fenomenológicas 18:142-172.
    La fenomenología distingue el cuerpo-objeto (Körper) del cuerpo vivido (Leib); se interesa por este último y por el cuerpo que se nos manifiesta en nuestras experiencias y les da expresión. Este cuerpo fenoménico es el punto cero de nuestras vidas, el anclaje de nuestra existencia. La fenomenología de Simone de Beauvoir le aplica la diferencia sexual.Esta contribución continúa la hermenéutica de Beauvoir centrándose en su conocida máxima, “no se nace mujer, se llega a serlo”, teniendo en cuenta que las interpretaciones (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Origen, espacio y niveles de participación ciudadana (Origin, space and levels of participation).A. Guillen, K. Sáenz, M. H. Badii & J. Castillo - 2009 - Daena 4 (1):179-193.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  10
    Reseña de: María Jimena Sáenz, "Las relaciones entre el derecho y la literatura. Una lectura del proyecto de Martha Nussbaum".Juan Antonio Quaglia - 2022 - Tópicos 44:e0019.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Los sueños, el tiempo y la pasividad. M. Zambrano y la fenomenología.María del Carmen López Sáenz - 2007 - la Lámpara de Diógenes 8 (14):59-77.
     
    Export citation  
     
    Bookmark  
  26.  12
    La destrucción de la metafísica como ausencia en M. Heidegger.María Jimena Clavel Vázquez - 2018 - Proceedings of the XXIII World Congress of Philosophy 27:185-189.
    During the project of the fundamental ontology, Heidegger refers to destruction as a moment of phenomenology –among other two that are equally constitutive– which has a mainly historical character. Now, this paper aims to show that the notion of philosophy as destruction is intensified as Heidegger’s thought moved forward. Destruction, in Heidegger’s first lectures, demands an analysis on both the limits and possibilities of the philosophical tradition. It is in this analysis when we come to realize that the question of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Interpretación feminista de la corporalidad: Merleu-Ponty revisitado.María del Carmen López Sáenz - 2004 - Estudios Filosóficos 53 (152):45-58.
    Partiendo de la fenomenología del cuerpo de M. Merleau-Ponty discutimos la tendencia postmoderna a convertir el cuerpo en un simple producto sociocultural y el género en un mero artificio y reivindicamos su comprensión como constancia abierta a infinitas variaciones; lo hacemos reconsiderando el cuerpo como sujeto-objeto, quiasma entre naturaleza y cultura o dialéctica entre materia trabajada interior y exteriormente. El cuerpo, entendido como Leib y como totalidad, no se opone cartesianamente al intelecto, sino que de él, en tanto ser-en-el-mundo, brota (...)
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  28.  8
    (1 other version)De la sensibilidad a la inteligibilidad Rehabilitación del sentir en Maurice Merleau-Ponty.Maria Carmen López Sáenz - 2007 - Phainomenon 14 (1):171-193.
    En este trabajo caracterizamos la filosofia de M. Merleau-Ponty como una fenomenología de la expresión ontológica, por considerar que reflexiona sobre algunos impensados de Husserl y los prolonga en una nueva ontología contribuyendo así, una vez más, a superar los dualismos heredados, en este caso, el que se produce entre fenomenología y ontología. Aunque haremos un recorrido por toda la obra merleau-pontiana, para pensar el sentir nos centraremos en la última, en la que el cuerpo vivido, pieza clave de la (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  10
    Vivir habitando “lugares”. El lugar de la memoria en la razón viviente poéticapictórica de María Zambrano.María Carmen López Sáenz - 2024 - Co-herencia 21 (40):351-377.
    En este artículo procederemos, en primer lugar, a clarificar las características de la razón poética de M. Zambrano en relación con la vida, la historia y, por ende, con la razón vital-histórica de Ortega y Gasset. A continuación, mostraremos de qué modo la primera incluye la poiésis de la pintura. Veremos entonces la relación que la “razón poética-pictórica” guarda con la memoria, así como el tipo de memoria que la filósofa reivindica en comparación con uno de los filósofos a los (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  44
    Adultery, Theft, Murder: Aristotelian Practical Rationality and Absolute Prohibitions.Victor Saenz - 2023 - Ancient Philosophy Today 5 (1):55-79.
    In a neglected passage, Aristotle affirms that certain action-types and emotions – for example, murder, and shamelessness – 'have names that imply badness’ and are categorically prohibited ( EN II.6 1107a8–15). Two questions are of interest. First, on Aristotle’s view, why are these act-types and emotions always vicious? Whether giving little money or feeling anger are vicious is context sensitive. Why aren’t murder and its ilk like that? Second, why are the prohibitions absolute? Why shouldn’t, say, the prospect of avoiding (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. López Sáenz, M.C. y Moreno Márquez, C. (Eds.) (2024) Del tiempo. Perspectivas fenomenológicas. Madrid: Dykinson, 276 pp. [REVIEW]Federico Parra Rubio - 2024 - Investigaciones Fenomenológicas 21:279-286.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  26
    RESEÑA de : López Sáenz, M.C. Marcuse. Madrid : Ediciones del Orto, 1998.María Jesús Picot Castro - 1999 - Endoxa 1 (11):383.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  33.  18
    Mª Carmen López Sáenz Y Karina P. trilles Calvo (edras.). "A las imágenes mismas. Fenomenología Y nuevos medios". Madrid: Apeiron ediciones, 2019, 266 páginas. [REVIEW]Anca Nicoleta Rotila - 2021 - Investigaciones Fenomenológicas 17:439.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  22
    M.ª CARMEN LÓPEZ SÁENZ, La hermenéutica filosófica de H.-G. Gadamer en busca de la verdad, Madrid, Dykinson, 2018, 208 pp. [REVIEW]Kilian Lavernia - 2021 - Investigaciones Fenomenológicas 15:293.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  42
    Mª Carmen López Sáenz Y Beatriz penas ibañez (eds.), Paradojas de la interculturalidad. Filosofía, lenguaje Y discurso. Madrid, biblioteca nueva, 2008, 223 pp. [REVIEW]Luis Álvarez Falcón - 2011 - Investigaciones Fenomenológicas 8:561-267.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36.  35
    Mª CARMEN LÓPEZ SÁENZ Y JESÚS M. DÍAZ ÁLVAREZ (Eds.). Racionalidad y relativismo. En el laberinto de la diversidad. Madrid, Biblioteca Nueva, 2012, 304 pp. [REVIEW]Ferran Garcia Querol - 2012 - Investigaciones Fenomenológicas 9:499-512.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37. Book Review: Mª Carmen López Sáenz e César Moreno Márquez (Eds.). Del tiempo: Perspectivas fenomenológicas. Madrid: Editorial Dykinson. 2024. 273pp. [REVIEW]Isabela Carolina Carneiro de Oliveira - 2024 - Phainomenon 37 (1):105-111.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  39
    RESEÑA de: López Sáenz, Mª Carmen. Dos filosofías del sentir: M. Merleau-Ponty y M. Zambrano. Editorial Académica Española, 2013. [REVIEW]Alba Milagro Pinto - 2013 - Endoxa 32:267-271.
  39. A phenomenology and epistemology of large language models: transparency, trust, and trustworthiness.Richard Heersmink, Barend de Rooij, María Jimena Clavel Vázquez & Matteo Colombo - 2024 - Ethics and Information Technology 26 (3):1-15.
    This paper analyses the phenomenology and epistemology of chatbots such as ChatGPT and Bard. The computational architecture underpinning these chatbots are large language models (LLMs), which are generative artificial intelligence (AI) systems trained on a massive dataset of text extracted from the Web. We conceptualise these LLMs as multifunctional computational cognitive artifacts, used for various cognitive tasks such as translating, summarizing, answering questions, information-seeking, and much more. Phenomenologically, LLMs can be experienced as a “quasi-other”; when that happens, users anthropomorphise them. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  15
    Unity, Plurality and Politics: Essays in Honour of F. M. Barnard.Richard Vernon & J. M. Porter - 1986 - Routledge.
    First published in 1986. Nations have a unity often described as 'cultural'; and within them there are divergences some of which are termed 'political'. But culture and politics do not, therefore, comprise two wholly distinct zones or orders of experience, the one marked by unity, the other by plurality. Unity and plurality interpenetrate. These insights, which derive from the thinking of Herder, have been fundamental to the work of F. M. Barnard. In this volume a number of scholars contribute, in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Three Case Studies in Making Fair Choices on the Path to Universal Health Coverage.Alex Voorhoeve, Tessa Edejer, Kapiriri Lydia, Ole Frithjof Norheim, James Snowden, Olivier Basenya, Dorjsuren Bayarsaikhan, Ikram Chentaf, Nir Eyal, Amanda Folsom, Rozita Halina Tun Hussein, Cristian Morales, Florian Ostmann, Trygve Ottersen, Phusit Prakongsai & Carla Saenz - 2016 - Health and Human Rights 18 (2):11-22.
    The goal of achieving Universal Health Coverage (UHC) can generally be realized only in stages. Moreover, resource, capacity and political constraints mean governments often face difficult trade-offs on the path to UHC. In a 2014 report, Making fair choices on the path to UHC, the WHO Consultative Group on Equity and Universal Health Coverage articulated principles for making such trade-offs in an equitable manner. We present three case studies which illustrate how these principles can guide practical decision-making. These case studies (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  53
    A Π12 singleton incompatible with 0#.M. C. Stanley - 1994 - Annals of Pure and Applied Logic 66 (1):27-88.
    Stanley, M.C., A Π12 singleton incompatible with 0#, Annals of Pure and Applied Logic 66 27–88. A non-constructible Π12 singleton that is absolute for ω-models of ZF is produced by class forcing over the minimum model.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  47
    Ambiguities and Irresolvable Tensions in the ADA: A Reply to Loretta M. Kopelman and Anita Silvers.M. A. Gardell Cutter - 1996 - Journal of Medicine and Philosophy 21 (2):225-235.
    This essay comments on the articles by Loretta M. Kopelman and Anita Silvers. It extends their analyses and concludes that consistency and the total absence of conflict may be unavailable when one interprets and applies the Americans with Disabilities Act.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. Lorhard, Ramus, and Timpler and “The birth of ontology”.Peter Øhrstrøm & Sara L. Uckelman - 2022 - Journal of Knowledge Structures and Systems 3 (2):48-56.
    This review article offers a discussion of some aspects of the historical and conceptual context when the term “ontology” (Lat. ontologia) was first introduced in the scholarly circles of the early 17th century. In particular, Barry Smith's (2022) analysis of the birth of ontology provides a springboard for some further remarks on the author of the work with the first known occurrence of the word “ontologia”, Jacob Lorhard, including an analysis of his relationship with earlier philosophers Petrus Ramus and Clemens (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  23
    Current-voltage characteristics of the helium field-ion microscope.M. J. Southon & D. G. Brandon - 1963 - Philosophical Magazine 8 (88):579-591.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  40
    Room temperature precipitation in quenched Al–Cu–Mg alloys: a model for the reaction kinetics and yield strength development.M. J. Starink *, N. Gao, L. Davin, J. Yan & A. Cerezo - 2005 - Philosophical Magazine 85 (13):1395-1417.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  41
    The Epyllion from Theocritus to Ovid. By M. Marjorie Crump. Pp. viii+284. Oxford: Blackwell, 1931. Cloth, 8s. 6d.Arnold M. Duff - 1932 - The Classical Review 46 (04):184-.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  69
    Plato's Ion translated by W. R. M. Lamb (Loeb text, Greek-English). Plato & W. R. M. Lamb - 1925 - Loeb Classical Library.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  32
    Comments on “Aristotle’s Moral Psychology” by John M. Cooper.John M. Cooper - 1989 - Southern Journal of Philosophy 27 (Supplement):43-47.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  54
    Automated type-checking for the ramified theory of types of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown
    This paper described a formal theory of type judgments for propositional logic notations of PM; I felt the need of my own automated type checker to check their examples. The type checker I wrote did indeed serve to help me referee the paper, but also took a rather different approach to notation and typing for propositional functions of PM, which proved worth writing up independently in our own paper: Holmes, M. Randall, “Polymorphic type– checking for the ramified theory of types (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 966